Решить тригонометрическое неравенство

Упрощённый вид:
$$\text{True}$$
График:
Корни:
$$x=-\infty < x \wedge x < \infty$$
Производная:
$$\frac{d}{d x} \left(2 \sin^{2}{\left(x \right)} + \cos{\left(2 x \right)} > 0\right)=\frac{d}{d x} \left(2 \sin^{2}{\left(x \right)} + \cos{\left(2 x \right)} > 0\right)$$
Видео - объяснение: